Two Criteria for Nonsimplicity of a Group Possessing a Strongly Embedded Subgroup and a Finite Involution