定義が明確に述べられていない証明でも
「自己矛盾だけはしていない」とみなせることはあるだろう