( .: (G,A) is commutative & .: (G,A) is cancelable ) by Th23;
hence .: (G,A) is strict commutative constituted-Functions cancelable uniquely-decomposable Monoid by Th23; :: thesis: verum