Switched equality for identity operator