Eureka theorem