Equação diofantina linear