A note on Wronskians and the ABC theorem in function fields of prime characteristic The inversion formulae for automorphisms of polynomial algebras and rings of differential operators in prime characteristic 