Математическое доказательство: независимость от y