theorem :: XPRIMES2:1393

canceled;