A seminorm with square property is automatically submultiplicative
scientific article; zbMATH DE number 1334266