theorem :: XPRIMES2:1390

canceled;