リンクを挿入 保存する
[証明]<br> 仮定より<br> チルノ=⑨=馬鹿···❶<br> また、<br> ナインボール=⑨=ラスボス···❷<br> ⑨=マルク=ラスボス···❸<br> 式❶❸から、マルク＝⑨＝馬鹿<br> が成り立ち、尚且つ<br> 式❷❸から、ラスボス=⑨···❹<br> 式❶❹から、チルノ=⑨=ラスボス<br> が成り立つ。<br> <br> なおこれを応用すると以下の証明も可能。<br><br> マルク≡ドナルド・マクドナルド···❺<br> 式❸❹❺から、ドナルド・マクドナルド≡ラスボス<br>