>>779
まず定義と証明を書いてから言おうか