Cheese theorem