theorem :: XPRIMES2:6471

canceled;