There exists a theorem that gravitational lenses should produce an odd number of images (e.g., [
116
]).