>>296
証明は>>293なんて使わなくても片方の変数固定すれば明らか。