theorem :: XPRIMES2:64

canceled;