theorem :: XPRIMES2:6954

canceled;