О функциональной полноте в модальной логике S5статья