简述折叠相符原理。