已知y减x成正比例且当x等于6