Esta ley lógica puede utilizarse como regla de derivación en la línea de premisas.