94²-37² ∨ 93²-36²
(94-37)(94+37) ∨ (93-36)(93+36)
57*131 ∨ 57*129
57*131 >57*129 ⇒
94²-37² > 93²-36².