kaplan-yorke conjecture