Traduire, en se servant des définitions des lois, les différents axiomes puis les vérifier un à un.