consider G being Group;
(1). G is finite ;
hence ex b₁ being Group st b₁ is finite ; :: thesis: verum