设，当时，总有，求证：。