공식이 있나 ?