Prove: A nonempty subset B of a ring A is closed with respect to addition and negatives iff B is closed with respect to subtraction
Nonempty subset H of group G is subgroup iff $ab^{-1} \in H $ for any $a,b \in H$