validadores que utilizan el programa de derivación para @DoubleZero