Se a è uguale a b e b è uguale a c, è dimostrabile senza errore che a e c sono uguali?