Rigorous derivation of the hydrodynamical equations for rotating superfluids