TestIsPropia, TestIsImpropia y TestIsEquivalentes