First version of second part Epp's proof (char p case)