“expand out” the multiplication first is a convention that the mathematics community agreed on, not a fact that can be proven

Order of operations proof - simple version