2 ms·

Proving statements that are known to be true requires a different skillset from coming up with true statements.