「自明である」は証明ではない。