공식정리 2