prove on paper