proof.ts 11.2 KB