Theorem (Euler). p1p=.