. once you knew the value of x, which theorem or postulate allowed you to find the value of

. once you knew the value of x, which theorem or postulate allowed you to find the value of y in the previous theorem