theorem :: XPRIMES2:1957

canceled;