Orthogonal Latin Squares of Order 6 do not Exist

Theorem
Two orthogonal Latin squares of order $6$ do not exist.

Also see

 * Euler's Conjecture on Orthogonal Latin Squares