a theory consists of an axiomatic system and all its derived theorems numvise ko muri himalaya havumbuwe ibirenge by'urubura ruteye ishozi