整数しか使ってない整数論