Må man teoretiskt bevisamöjligheten