è dimostrabile? :-)