Actually it is still a theory. Because the atmosphere's are too thick to penetrate and probes are basically torn apart on entry. We really have not been low enough to Verify they have no surface.