Let ABC be a right