审计人员为了验证其他单位投入被审计单位无形资产的真实性，理应采用的有效审计程序是() 。