Напишите логическую функцию в паскале,которая определяет верно ли,что число n- совершенное,т.е. равно сумме своих делителей,меньших его самого

function Sov(a: integer): boolean;
var i, y: integer;
begin
     for i := 1 to (a - 1) do
         if (frac(a / i) = 0) then
            y := y + i;
     result := (y = a);
end;