为判断命题有三条边相等且一组对角相等