下列哪一项是诊断深静脉血栓形成后综合征的主要依据