theorem :: XPRIMES2:315

canceled;