On theoretical backgrounds of CAD