nu de ofvan anförda satserna ,att