Och bevis för någon för dessa satser?