Как можно доказать или опровергнуть логическое равенство?

в древнем египте наряду со значками , обозначавшими целые понятия и слова, существовали и другие знаки, обозначавшие слоги и даже отдельные звуки . потребность в таких знаках очевидна, так как не все можно выразить в виде изображений (прежде всего, это касается личных имен). в этих случаях египтяне превращали слова иероглифы в буквы иероглифы, из которых и составлялись слова, подлежащие передаче на письме согласно их звучанию. например иероглиф «хт» — изображение дома — сделался двухбуквенным иероглифом, обозначающим звук [хт], иероглиф «мн» — изображение шахматной доски — стал иероглифом, обозначающим два звука [мн] и т.д. на первых порах значение фонетических иероглифов было , но со временем их роль все более возрастала, и в последние века существования египетской письменности значение фонетических иероглифов стало господствующим. но к чисто фонографическому письму (то есть такому, где каждый знак обозначает отдельный звук или букву) египтяне так и не перешли . это важное усовершенствование было сделано в письме других народов

var s : string; k,f : longint; begin  readln(s);   val(s[1],k,f);   if f< > 0 then writeln('некоректно введена строка')   else if length(s)-1=k then writeln('равно')            else writeln('неравно'); end.