This is the only show in the current West End to show a demonstration of a mathematical proof performed as an encore, writes Ian Shuttleworth