公式ではないのか