no-go theorem