Prove in itinere Computer Vision