I cannot find a proof for the following theorem anywhere: A latin square has an orthogonal mate iff it can be decomposed into disjoint transversals.
Could you perhaps link me to one?
Also, how can we derive from this whether we can, for latin square of any order $n$, find a latin square that has no orthogonal pairing?
I think the result might involve the use of finite fields.