A diverticulose pode ser assintomática?