infinite pizza theorem view 2