theorem :: XPRIMES2:2847

canceled;