prove_edited-2

jt first SMALL