not 0_. L is monic ;
hence not for b₁ being Polynomial of L holds b₁ is monic ; :: thesis: verum