Today I learned that Polars allows non-strict vertical concatenation of dataframes with the parameter how="vertical".
how="vertical"
The number 1 is not a prime number.