[After proving for 20 minutes]