Euler's partition theorem