demonstratie teorema