theorem :: XPRIMES1:64

canceled;