composite number problem proof date