proof

Нужно доказать парсер. Сделал набросок.