theorem :: XPRIMES2:6721

canceled;