theorem :: XPRIMES2:1459

canceled;