こねこねがこねこねである限り、こねこねは自身がこねこねである事を証明できない