theorem :: XPRIMES2:2886

canceled;