\(A\) が \(B\) で割り切れれば YES である.