P(0) ∧ ( P(n) ⇒ P(n+1) ∀n∈N )

《この曲はピノキオピーの楽曲です。》
詞・曲：ピノキオピー
（ご本家→ https://www.nicovideo.jp/watch/sm22328932）
歌：虎牙音おゆぽ 連続音
調声：ていぶ