Herons formula (example and proof)