https://1library.org/document/yr3l0r5p-algebras-with-iip-condition.html