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