令ab和c是任意正规式,证明以下关系成立