theorem :: XPRIMES1:315

canceled;