theorem :: XPRIMES2:2864

canceled;