what postulates theorem did you use to solve for the missing side​