A note on Wronskians and the ABC theorem in function fields of prime characteristic Variables separated equations: strikingly different roles for the branch cycle lemma and the finite simple group classification 