El paso usa \(n-4\ge12\), es decir \(n\ge16\). Quedan sin cubrir \(12,13,14,15\) (\(3\cdot4\), \(2\cdot4+5\), \(4+2\cdot5\), \(3\cdot5\)), que son los cuatro casos base.
La inducción fuerte prueba \(P(n)\) para todo \(n\ge n_0\): tras verificar el caso base \(P(n_0)\), se prueba \(P(k+1)\) suponiendo \(P(j)\) para todos los \(j\) con \(n_0\le j\le k\).