Let a,b,c,d be integers such that ad−bc is non zero. Suppose b1,b2 are integers both of which are multiples of ad−bc. Prove that there exist integers simultaneously satisfying both the equalities ax+by=b1,cx+dy=b2. number theory unsolvednumber theory