ヒヨコがこの証明方法が正しいのを証明していないのに実行するなら同じ証明方法をこちらが実行してもいいだろ
ヒヨコが実行不可なことしか言わない証明にもなるし