两个不变和三个严格