proof
- 
โฆ Constant bracketing
 - 
โฆ marginalization
 - 
 - 
 - 
 - 
This is not peripheralโฆ
 
This page is auto-translated from /nishio/ๅใฎๆๅพ ๅคใฏๆๅพ ๅคใฎๅ using DeepL. If you looks something interesting but the auto-translated English is not good enough to understand it, feel free to let me know at @nishio_en. Iโm very happy to spread my thought to non-Japanese readers.