Yes, but which President is credited for having come up with an original proof of the Pythagorean Theorem?
James Garfield — what, you thought it was Thomas Jefferson?
And he apparently did it while serving in Congress, yet. Why don’t we have Congressmen like that these days?