-Formula de probar en Tester