Derivation of Heronโ€™s Law