Gauss‘s lemma
 作词 : 无
 作曲 : 拉格朗日