And that equals 1 over 2 square root of x. And that equals 1 half x to the negative 1 half. So we just proved that x to the 1 half power, the derivative of it, is 1 half x to the negative 1 half. And so it is consistent with the general property that the derivative of x to the n is equal to nx to the n minus 1. Even in this case where n was 1 half. Well, hopefully that's satisfying. I didn't prove it for all fractions, but this is a start.