Pfaffian Determinant and Congruence Identities