proof.ts 8.31 KB