Hmm...

Suppose that is true and that and . Then

But then This would be a consequence of these relations; does this make sense in the group your considering? I only ask because its nice to know that it's plausible to derive the first relation from the other two before you begin. If are definitely not the identity element then you needn't waste your time!

Please make sure I haven't made a silly mistake because I excel at those.