De ur den gifna definitioiien härleddasatserna