On rigorous Hydrodynamics, Self-diffusion and the Green-Kubo formulae