theorem :: XPRIMES2:7945

canceled;