af full bewisning deromlärer