“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
Order of operations proof - simple version