$PROVE Sucinto A 0.