theorem :: XPRIMES2:1215

canceled;