theorem :: XPRIMES2:4126

canceled;