Mac Lane & Birkhoff (1999) A proof of this can be found in more generality in Bourbaki (1989).
See, for instance, MacLane & Birkhoff (1999). ^ このことのもっと一般な証明はたとえば Bourbaki (1989) に見ることができる。