Superconductivity theory