On Ullman's theorem in computer vision