Методы заполнения пропусков в математических доказательствах