Доказать, что любую целочисленную денежную сумму большую 7 рублей можно выплатить без сдачи трешками и пятерками — Pascal(Паскаль)

{Доказать, что любую целочисленную денежную сумму
 большую 7 рублей можно выплатить без сдачи
 трешками и пятерками. *целочисленная арифметика* }
program borlpasc;
var n,n3,n5,k:integer;
begin write('Введите сумму(>7) n=');
      readln(n);
      k:=0;
      for n3:=0 to (n div 3) do
          for n5:=0 to (n div 5) do
              begin if n3*3+n5*5=n
                       then writeln(n3,' трешки и ',n5,' пятерок');
                    k:=k+1
              end;
      if k=0
         then writeln('Из трешек и пятерок эту сумму не сложить.')
end.