How to label opposite and adjacent sides for a given acute angle in a right triangle