s18-13 Number theory