空间任意力系的合力（如果有合力存在）的大小一定等于该力系向任一简化时得到的主矢的大小。