6.3.2 自环上的同伦