Q.E.D.：quod erat demonstrandum 故得證之意，宣示定理真實性的建立。
這是一首歌頌知識與真理的歌曲。
步入社會後，就會開始懷念起學生時代單純的美好。在純粹知識的世界裡，一切如此分明。長大後的世界，是非界線變得模糊，令人不知所措。儘管如此，我們依舊努力用著自己的方式，追尋著那個，絕對純粹的世界。
3.1415927
16384次艱辛*
追尋與真理最近距離
轉角遇見費布納西**
鸚鵡螺的曲線曼妙美麗
樹葉一片片排列整齊
* 古代數學家用正多邊形的面積來逼近圓面積，原理簡單，但計算時要不斷開平方，過程非常繁複。南北朝的祖沖之算到16384邊，而得知圓周率介於3.1415926與3.1415927之間。
** 費布納西（Fibonacci）數列：1,1,2,3,5,8,13,21,34,55... 費布納西於西元1202年提出，在葉序問題、最佳化理論、結晶結構等領域都有直接應用。
畢達哥拉斯和商高先生
都發現勾股弦中的秘密*
引領千年後費瑪最後定理**
懷爾斯的熱情與堅定不移
解開懸宕三百年的世紀謎題
* 畢氏定理，又稱商高定理或勾股弦定理，a2 + b2 = c2。
** 費瑪最後定理，源於畢氏定理，17世紀的數學怪傑費瑪在書頁空白處寫下：「xn + yn = zn，當n大於2時沒有整數解。我已為這個命題找到一個非常巧妙的證明，然而這裡狹窄的篇幅不足以讓我寫下。」如此簡短的敘述，卻成為數學史上最深奧的謎團。一直到二十世紀，才由安德魯懷爾斯（Andrew Wiles）破解。
一次一次一次證明 都更接近真理
零是零 一是一 這世界黑白分明
不同不同不同 不同於模糊難解的人心
這浩瀚宇宙是如此美麗
127.0.0.1 *
最美好的秘密基地
二進位言語
改變世界的超能力
沒有終止條件的遞迴函式**
不斷呼喊自己 不到終點永不放棄
* 127.0.0.1 = localhost = home
** 遞迴（recursion），是「函式（function）不斷呼叫自身」的一種程式撰寫法。而為了防止程式無窮盡的遞迴下去，必須為所寫出來的遞迴函式設定一個終止條件（termination condition）。
一次一次一次證明 都更接近真理
零是零 一是一 這世界黑白分明
不同不同不同 不同於模糊難解的人心
這浩瀚宇宙是如此美麗
一次一次一次 喔 接近真理
零是零 一是一 絕對的純粹
不同不同不同 不同於模糊難解的人心
這浩瀚宇宙是如此美麗
- 专辑：My Journey
- 歌手：光引擎
- 歌曲：QED
