theorem :: XPRIMES2:3011

canceled;