Añadidos los test para isPropia, isImpropia e isEquivalente que
comprueban los casos en los que debería dar falso (ampliación del ticket
#4)