help with proofs in my introductory modern algebra course