theorem :: XPRIMES2:1380

canceled;