proof-10.n3 1.71 KB