proof.ts 8.35 KB