爆笑、河合の定理を打ち込み完了