假定，给定，已知