An induction proof of the backpropagation algorithm in matrix notation. - Dirk Ostwald; Franziska Usée (CoRR, 2021)