re: #156 jaunte

Proving your theorem:

[Embedded content]

No. No way. Stop the world. I’m getting off.