Python semi-OO way of getting 10001st prime.