lätt ; men att bevisa dess riktighet är svårt.