/semestr-3/pf/lista5/
../
proof