“A是A”是（）公式。