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