From the additionformula and sinx0=0, cosx0=−1, so 2x0 is a period. Repeatedly subtract 2x0 from a positive period 2x1; the remainder in [0,2x0) is also a period, and positivity plus the addition identities force it to be 0. Thus x1=nx0; the converse follows from periodicity and oddness.