(* zur Aufgabe S-13 *)

let rec isvk (zahl, aktTeiler, aktSumme) =
  if (aktTeiler = 1) then
  	if (zahl - 1 = aktSumme) then true
  	else false
  	
  else
  	if ((zahl mod aktTeiler = 0) && (zahl <> aktTeiler)) then
  		isvk (zahl, (aktTeiler-1), (aktSumme+aktTeiler))
  	else
  		isvk (zahl, (aktTeiler-1), aktSumme);;

let userfunc (zahl) =
  isvk (zahl, zahl, 0);;