[10] Garret Birkoff; Saunders MacLane.