2 divides 2 * 2 ;
hence ex b₁ being square Integer st b₁ is even ; :: thesis: verum