Что такое доказательство в Гпк?