theorem :: XPRIMES2:1408

canceled;