在众多状态方程式中，能从理论上加以证明的是（）

A.R——K方程

B.维里方程

C.范德华方程

D.马丁-候方程

证券登记结算公司是为证券交易提供集中登记、存管与结算服务，不以营利为目的的法人。( )

A．正确
B．错误
C．放弃