夕焼け色の君の笑顔を
引き攣る笑顔で見送った
ありがとうありがとう　なんて要らないの　に

どうしたって出遅れちゃった
誰かのモノになっちゃった
それでもそれでも君が　好き

≠（ノットイコール）　類似に乗せてよ
≡（ごうどう）じゃなくったって　∽（そうじ）を愛してよ
でももう　Q.E.D. Q.E.D

夕闇色の君の涙を
引き摺る笑顔で見下ろした
許してよ許してよ　なんて要らないの　よ

どうしたって愛しちゃったの
誰かのモノでも僕のモノ
それでもそれでも君は　好き？

≠（ノットイコール）　無限に乗せてよ
＝（とうごう）じゃなくったって∝（ひれい）で愛するよ
だからね　Q.E.D. Q.E.D.

何故ならば　其れ故に
幾億回もの演算処理（シュミレーション）に
導き出された解答（こたえ）は何時だって・・・　ああ、

≠（ノットイコール）　類似に乗せてよ
≡（ごうどう）じゃなくったって　∽（そうじ）を愛してよ
でももう　Q.E.D. Q.E.D

だからね　もう　Q.E.D. Q.E.D.