comment fait-on pour demontrer une conjecture dans un triangle?