theorem :: XPRIMES2:6738

canceled;