実行して正しい結果が出たらそれが式の証明になる訳だろ
頭で考えて目で見ただけで自分が書いた式が正しいかどうか分かるのかい?
言ってる事が支離滅裂なんじゃないか?
何で実行して正しいかどうか確かめるのがそんなに嫌なんだ?