Sharing 9 is actually not reduced to (b9(a9) but can be moved to the outside of the trefoil base. There I can put it into congruence with the loop formed from (a17(b17) expressed as (b17(a17).
No comments yet.
RSS feed for comments on this post. TrackBack URL
Name
Mail (will not be published)
Website
Δ
Contact us today to get started