>>112
定理の証明を作成するって宿題やから普通にあるやろ