A fibre criterion for a polynomial to belong to an ideal