نخستین کشف «عدسی گرانشی» دو کهکشان