  In this paper, we proved that the F_p completioin of fundamental group of an
F_p shceme can be computed by the bar complex of Artien-Schreier differential
graded algebra. Artin-Schreier differential graded algebra is obtained by a
relation diagram of identity map and frobenius map by Kats' theorem.
