theorem :: XPRIMES2:1127

canceled;