theorem :: XPRIMES2:8957

canceled;