Efter att lia framstält detta axiombestälde