För att bevisa sintro