# prime(n) gives n-th prime number; prime(1):=2; prime(2):=3; prime(3):=5; prime(4):=7; prime(5):=11; prime(6):=13; prime(7):=17; prime(8):=19; prime(9):=23;