Skąd wiemy, że istnieją układy podwójne?