The prompt does matter. They specifically told it to assume a proof exists so it would not too easily dismiss the possibility.