Символ_конца_доказательства loading ...