teorem
⇧[2]
sats
3
↑
logisk
teorem (nn)
[korpus]
⇩
*
↓
*