Math Limericks
by Travis Maron

Let there be two manifolds
and some points where their map does not hold,
a theorem of Sard,
whose proof is not hard,
says this set has no measure.  Behold!

In finite dimensional space,
A curve on a sphere we will trace,
That's compact and smooth,
And we try to prove
It can shrink into any one place.

We are given a basis in E
and a new basis we want to be,
The inverse transpose
Is what we propose
Is a basis of it's dual space, we see!