ping pong theorem view 3