theorem :: XPRIMES2:5703

canceled;