theorem :: XPRIMES2:6867

canceled;