=+13.7. Consider on R1 the smallest class 2^ (that is, the intersection of all classes) of real functions containing all the continuous functions and closed under point-

wise passages to the limit. The elements of 2" are called Baire functions. Show that Baire functions and Borel functions on R' are the same thing.