The coherent-state representation of an ordinary fermionic trace identifies the endpoints with a minus sign, producing antiperiodic fields. Inserting fermion parity supplies a second minus sign. The resulting fermionic path integral therefore has
and its time-sliced coherent-state action is precisely . This proves the stated supertrace representation.