theorem :: XPRIMES2:85

canceled;