bevis för någon af dessa satser?