  This short note is extracted from Section 3 and Appendix of the paper
entitled with Intersection de Rham complexes in positive characteristic by the
same named authors, where an explicit infinite homotopy from a Higgs complex to
the Frobenius pushforward of the corresponding de Rham complex in positive
characteristic has been provided. The verification details, which are omitted
therein, are provided here.
