infinite pizza theorem view 3