A note on Wronskians and the ABC theorem in function fields of prime characteristic The triviality of Brauer-Manin obstruction for subvarieties of semi-abelian varieties over function fields of characteristic zero 