Greek mathematics may not have been unique, among the ancient mathematical traditions, in its very use of proof (in the last generation, Høyrup and Chemla have shown the role of proof in the Babylonian and Chinese mathematical traditions, respectively1). But in no other ancient mathematical tradition was proof so explicit and foregrounded. Other mathematical civilisations proved: Greeks did so self-consciously.