theorem Th15: :: NUMBER02:15

881 is prime