theorem :: XPRIMES2:406

canceled;