Given a right triangle triangle ABCABC with C=90^circC=90, if b=12, c=13, how do you find a?