proved as