なるほど。
では等式を証明するときはどう書けばいいですかね?