theorem :: XPRIMES2:3748

canceled;