Ferromagnetism in Itinerant Electron Systems: Rigorous Examples from Flat-Band Hubbard Models