Update perfect_secure_systems.tex

merge исправлен.
"Следующими свойствами" - обобщающее слово. Далее перечисление через ; .
Добавил "то есть" во втором пункте для связи с формулами.