F1: Prove Shanghai

P