Линза Эйнштейна помогла математикам в доказательстве теоремы