theorem :: XPRIMES2:7012

canceled;