따름정리(3)

1