  We prove rational alternating Ramanujan-type series of level $1$ discovered
by the brothers David and Gregory Chudnovky, by using a method of the author.
We have carried out the computations with Maple (a symbolic software for
mathematics).
