f与f关于什么对称证明