x9

    (x2)3
    =
    x9

    x6
      by rule (c)
    = x9-6   by rule (b)
    = x3