証明すべき命題が書いてあれば「次の命題を証明せよ」はなくても十分