.＞等号「=」で結ばれている以上、論理的には元の式と結果をわざわざ区別する必要はない。
「逆は必ずしも真ならず」を知らないんだろうか？