Function Cot (k, cc,m:integer): boolean;
    var j:integer;
    begin
for i:=1 to m do
if (a[j, cc] > k) then 
        begin
    Cot:= false;
    exit;
        end;
   Cot:= true;
 end ;

`=>` Tại sao lại dùng được biến `k` khi chưa gán giá trị ?

`@` Đây là 1 chương trình con, nên ta không cần gán giá trị, vì :

( Giải thích hơi khó hiểu, nên đem ví dụ ra luôn vậy )

`-` Ví dụ, ta có đoạn chương trình sau :

readln(x,y,z);

cot(x,y,z) ;

Đầu tiên, ta nhận được giá trị của x,y,z ; sau đó gán giá trị cho hàm Cot, cụ thể sau :v

`k=x;cc=y;m=z->` Biến k vẫn nhận được giá trị, vẫn được khai báo trước nhưng trên phần gán giá trị

`=>`Lập bảng hoạt động của biến k :

`-` Khi `\text{a[j,cc] }> k` thì hàm Cot sẽ trả về False, sau đó thoát chương trình con qua lệnh `\text{Exit}`

tại vì biến k là biến đầu vào (function Cot(k,cc,m:interger)) nên vẫn dùng bth.