Task: Text Categorization
Input (English): All fundamental solutions of this result are generated from pairs of relatively prime integers which aren't both odd. Most proofs use either similarity arguments, the dissection of plane figures, or shears; the latter being the case in Proposition 47 of Euclid's Elements. For ten points, what theorem was demonstrated by Leonardo da Vinci and James Garfield, but was first proven 2500 years ago
Output (English): Science