"teoretiske oppgaver" er et 19-bokstavers substantiv som brukes som synonym for "bevisoppgaver". bevisoppgaver betyr: Oppgaver som krever teoretisk bevisføring.