theorem :: XPRIMES2:106

canceled;