[証明]
仮定より
チルノ=⑨=馬鹿···❶
また、
ナインボール=⑨=ラスボス···❷
⑨=マルク=ラスボス···❸
式❶❸から、マルク＝⑨＝馬鹿
が成り立ち、尚且つ
式❷❸から、ラスボス=⑨···❹
式❶❹から、チルノ=⑨=ラスボス
が成り立つ。

なおこれを応用すると以下の証明も可能。

マルク≡ドナルド・マクドナルド···❺
式❸❹❺から、ドナルド・マクドナルド≡ラスボス