Reduced fibre theorem

First version. Of course, there are many variants, etc.