Säkert bewistade ingen representationena