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.
. . .