証明問題なら文字の条件は詳しく書く必要あるだろ。