theorem :: XPRIMES2:2315

canceled;