theorem :: XPRIMES2:4067

canceled;