If-it lemmer i d-testeqsa