7bits_証明を型にはめると