On the redundancy of the Mumford relations Some corrections on my paper ``Some connections between Heyting valued set theory and algebraic geometry: Prolegomena to intuitionistic algebraic geometry'' 