theorem :: XPRIMES2:7315

canceled;