5.2.5 长方体对角线推论