mittelbarer beweis
USE
FOLGEBEWEIS