theorem :: XPRIMES2:6924

canceled;