proof.ts 8.83 KB