>>511
少なくとも
定理
証明
の形にしろよ