>>672
整列できるとの仮定は対角線論法で否定されますね