theorem :: XPRIMES2:3101

canceled;