A man runs n times round a circular track with radius t miles.
He drinks s quarts of beer for every mile that he runs.
Prove that he will only need one quart!