theorem :: XPRIMES2:2620

canceled;