Where's the proof that those algorithms works for all 4x4 and 5x5 matrices?

An induction proof or anything else would suffice