Lorentz from Galilei, deductively