4.3: Expansion and factorisation of linear expressions