Which formula would be used to find the measure of angle 1?