https://123dok.org/document/z1d57v8e-appunti-lezione-capitolo-code-priorit-insiemi-disgiunti.html