공식정리(소자특성, 중첩의 원리 등)