sqrt(3) x sqrt(3) R30[degree] --> 3 x 3 distortion on the C/Si(111) surface