反例可能性なくても、「それは違う」って言うくらいはできるけどな？
ただそれを正しいと証明しようとなると話は違ってくる。