Dodan tekst o naredbama i teoremima