when doing an inequality proof and we reference AM-GM to prove something, to we have to prove the specific am-gm statement we were using? for example, when solving a question that can be put in the form of AM-GM with n=3, would I be allowed to get it in that form and leave the question as proven...