https://9dok.net/document/yng0dnrj-arecn-satisfying-bncn-does-admit-zero-submultiplicative-seminorm.html