代数例

左辺 $- 4$ は右辺 $- 4$ に等しいです。つまり、与えられた文は常に真です。