Here is a simple problem from abstract algebra.
Prove that a
group with exactly five elements is
commutative.
From the Mathworld definition of "CYCLIC GROUP": "all groups of prime group order are cyclic".
From the definition of "GROUP ORDER": "The number of elements in a group" -- in this case, 5, a prime.
Again from the definition of "CYCLIC GROUP": "Cyclic groups are abelian".
From the definition of "ABELIAN GROUP": "A group for which the elements commute is called abelian".
So... without even understanding a single one of those definitions, we got a QED!!