consider G being Group;
take (1). G ; :: thesis: ( (1). G is strict & (1). G is finite & (1). G is cyclic )
thus ( (1). G is strict & (1). G is finite & (1). G is cyclic ) ; :: thesis: verum