If, however, the variable y is not mentioned elsewhere (i.e. it can still be chosen freely, without influencing the other formulae), then one may assume, that A {\displaystyle A} holds for any value of y.
但是如果变量 y {\displaystyle y} 在其他地方没有被提及（就是说，它仍可以被自由的选择，而不影响其他公式），则你可以假定， A  {\displaystyle A} 对 y {\displaystyle y} 的任何值都成立。