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