, ,
 , , ()   /      
 

, Coquand, 1857, . . , .


^: