För löpningarna äro följandepropositioner