平面の証明でこの難易度だと、立体になったらどれだけ大変なんだ