LCOL Algebra 8: Factorising 1