På simma gång bevisas häraf ; att^217