Gọi `x` là số sách của thư viện (quyển) `(x in NN`*) `(400 ≤ x ≤ 600)`

Ta có:

`x vdots 12`

`x vdots 15`

`x vdots 18`

`=> x in NC(12,15,18)`

Ta có:

`12=2^2 . 3`

`15=3.5`

`18=2 . 3^2`

`=> BCNNNN(12,15,18)=2^2 . 3^2 . 5 = 180`

`=> x in BC(12,15,18)=B(180)={0;180;360;540;720;...}`

Mà `400 ≤ x ≤ 600`

`=> x = 540`

Vậy thư viện có `540` quyển sách.