theorem :: XPRIMES2:7784

canceled;