Proofs in Poems -- the Sylow Theorems

     One of my valuable resources during this year 2020 has been the AMS PAGE A DAY CALENDAR by Evelyn Lamb -- published by the American Mathematical Society.
     Today, December 16, Lamb's calendar celebrates a collection of poems by British software engineer Patrick Stevens -- verses that together offer poetic proof of the Sylow theorems about the subgroups of a finite group.
     Here is a link to Stevens' collection of  "Slightly silly Sylow pseudo-sonnets" and these are the opening lines:

        Suppose we have a finite group called G.
        This group has size m times a power of p.
        We choose m to have coprimality:
        the power of p's the biggest we can see.
       . . .

This link leads to other mentions in this blog of Evelyn Lamb's math-poetry links.