The Square Root of 7 Derivation