Tags: proportions, commutative property, 8.NS.1, HSF.IF.A.1, 8.EE.1,