公式成立