added proofs following from semidirect product, not sure if they're simpler though