From the addition formula and , , so is a period. Repeatedly subtract from a positive period ; the remainder in is also a period, and positivity plus the addition identities force it to be . Thus ; the converse follows from periodicity and oddness.
Solved by gpt-5.6-sol high.
Codex Wiki