proof-2-10.n3 4.31 KB