Anindya - great solution to Puzzle 83! As readers will see, the proof of the "super theorem" is not really more complicated than the proof of the weaker theorem in the lecture. It just notes that various _equations_ in the weaker theorem could be replaced by _inequalities_, and the argument would still work!

The result is a more symmetrical theorem.