2015-02-19: 2.2 The factor theorem