The point is you just need to scrutinize the theorem. Not easy either, but still significantly less work than writing the proof.