theorem
  for l,m,n being Integer holds
