Triangle angle proof