Problem 13-4: it is so strange to claim left rotation increasing C by one

[run27017]

For left rotation, it also relies on the length of left spine of x's parent. No evidence clarify the two lengths(x's left spine and x's parent's left spine) are the same.