Finally the sound and complete systems are established for fourteen congruences.

• 最后，给出了14个同余关系的可靠完备系统。