theorem :: XPRIMES2:1402

canceled;