schurs partition theorem