All pastes #676590 Raw Edit

Mine

public text v1 · immutable
#676590 ·published 2007-08-31 06:19 UTC
rendered paste body
proof:
(ab)^-1
(e*(ab)^-1)
((b^-1*b)*(ab)^-1)
((b^-1*(e*b))*(ab)^-1)
((b^-1*((a^-1*a)*b))*(ab)^-1)
((b^-1*(a^-1*(a*b)))*(ab)^-1)
((b^-1*(a^-1*ab))*(ab)^-1)
(((b^-1*a^-1)*ab)*(ab)^-1)
((b^-1*a^-1)*(ab*(ab)^-1))
((b^-1*a^-1)*e)
(b^-1*a^-1)