ping pong theorem view 1