Yazamamızın nedeni ve ispatı ikisinin senin de gördüğün gibi, eşit OLMAMASI.
Başka bir nedene gerek yok!
Eşit olanları anlamak yeterli.
Bunlar dışında da özel eşitlik durumları olabilir.
Veya kimsenin henüz fark etmediği, yeni bir eşitlik de var olabilir, ama burada verdiğin örnekler böyle değil.