theorem :: XPRIMES2:1954

canceled;