theorem :: XPRIMES2:6315

canceled;