10.3.3 使用相关公式完整性