A complete elementary proof that Hilbert space is homeomorphic to the countable infinite product of lines