VOICEVOX：春日部つむぎ
ついなちゃんのキャラは反映されていません。


【ボカロ】王道進行曲投稿祭に参加しています。

今まで難しそうと敬遠していた調声に初挑戦しました。
ニコニコに投稿しはじめて、みんな調声がんばっているということに気づき、自分もやらなきゃと意識を変えました。
それと、初めて2コーラス目を作りました。これもみんながんばっているので……。

歌詞に「形式証明」という言葉が出てきますが、正しくは「形式的証明」といいます。長いので歌では省略しました。