Definition:Leg of Right Triangle