自明のところを省略するかどうかという話しではないのかな。
数学の記述問題はコンピュータのプログラムを組むような話し
ではないからぜんぶ記述する必要はないのよ。
まあ不安なんだろうが。