theorem :: XPRIMES2:8958

canceled;