Define a function divmod which takes two peano objects a and b and returns a pair of peano objects (q, r) such that q is the quotient of a divided by b and r is the remainder. You can assume that b is not zero.