数学に詳しい人、教えて。
80*n1 - n2 - 99*n3 = 0
はディオファントス方程式にならないの？