Kozen D, Silva A.? 2011.??On Moessner's theorem. :1-8.