theorem :: XPRIMES2:685

canceled;