Theorem (Euler). ∑⁡p1p=∞.