사실 공식은 후자인