bebizonyul,
ha kicsiny,
ha nagy (Üstökös; 1879: bebizonyul, ha nagy)