theorem :: XPRIMES2:2127

canceled;