paper cancellative abelian monoid