Olisi hyvä lisätä jotakin, jossa selitetään kanonisen renkaan tapauksen merkitystä ja sitä, miten se on todistettu BCHM:ssä ja miten Lazic, Cascini ja muut yksinkertaistavat todistusta myöhemmin. 129.215.149.99