Rigorously diffusive deterministic map