theorem :: XPRIMES2:6773

canceled;