theorem :: XPRIMES2:7847

canceled;