7.5√3 を 15√(3/2)と混同する人はあまりいないとおもうが