Left as an exercise to the grader.
} i dont want a lot for christmas
all i want for christmas is this proof