Cheng%27s maximal diameter theorem