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