theorem :: XPRIMES2:1522

canceled;