Talk:The Prisoner of Benda

What's the theorem?