Van der Erve Van der Veere van der Waerden猜想 Tender mercy Van der Zande van der Put Van der Ziel Van der Bos Van der Rhoer B.L. van der Waerden.