Toy_theorem