theorem :: XPRIMES1:73

73 is prime