Loading paper
A real seminorm with square property is submultiplicative | Tomesphere