• + 0 comments

    very nice, i havent seen a proof by induction in ages!