Theorema restaurant