Ästädningslära jemte uägra satser med bewis.