Spice up your math assignments by inserting lemmas taken from "Mathematical Theorems you had no idea existed, ..."
