Fōnkcyjo formula_1 ôkryślo sie jako roztomajtowertno, lo kożdych formula_2 kej formula_3 sōm mnogośćōma. Prawo je implikacyjo formula_4.