theorem :: XPRIMES2:886

canceled;