proof.ts 8.33 KB