무한잉크복합기 정리