Euclid-Euler theorem