The Butcher tableau has one stage with and , so it is the implicit midpoint rule
Again, interchanging the endpoints and changing to leaves the equation invariant. Hence .