Everything about the subring test is straightforward from the subgroup test, but the multiplicative operation of the subring, S, of ring, R, needs to be closed wrt multiplication, *. How do you prove S is closed wrt * if the only assumption about * is associativity and distributivity over...