>>543
していないっていう証明は悪魔の証明だから出来ないけど、しているって証明はそっちの根拠で存在証明だから出来るでしょ?
見た感じしているという資料は無いわけだが