どっちも堂々巡りなのでは?ボブは訝しんだ
悪魔の証明自体、どちらも証明が不可能か困難であるという事が語源らしいし