theorem :: XPRIMES2:6848

canceled;