(1)(2) (3) (4) <--mult. equals by equals, (1) and (2) (5) <--mult. equals by equals, (1) and (3) (6) <--mult. equals by equals, (2) and (3) (7) <--div. both sides of (4) by yz (8) <--div. both sides of (5) by xz (9) <--div. both sides of (6) by xy (10) Edwin