已知当时，有，根据以上信息，若对任意,都有则     。