Naming the sides of a right angled triangle