theorem :: XPRIMES2:6620

canceled;