The Square Root of 11 Derivation