theorem Th13: :: NUMBER02:13

113 is prime