Law of haversines