“A是A”是( )公式。