1_. L is monic ;
hence ex b₁ being Polynomial of L st b₁ is monic ; :: thesis: verum