theorem :: XPRIMES2:6532

canceled;