proof.ts 8.45 KB