theorem :: XPRIMES2:1407

canceled;