theorem :: XPRIMES2:6722

canceled;