User:Dfeuer/Cantor-Bendixson Derivative