Dados S y K, aun el mismo I es innecesario, puesto que puede ser construido por los otros dos: