lt (less-than) 関数を利用して、左辺と右辺を入れ替えることで gt (greater-than) 関数を定義してます。