https://www.glc.us.es/~jalonso/calculemus/si-a-b-c-%e2%88%88-%e2%84%9d-tales-que-a-%e2%89%a4-b-entonces-c-e%e1%b5%87-%e2%89%a4-c-e%e1%b5%83/