added udledte sætninger
add one peano exercise