Exact Heron's Formula (part 1)