theorem :: XPRIMES2:2642

canceled;