Local homeomorphism implies open