proof.ts 10.3 KB