theorem :: XPRIMES2:5957

canceled;