theorem Th37: :: NAT_6:37

641 is Proth