LCOL Algebra 12: Factorising 5