>>931
その場合、集合の左端に∈が現れないことを(数学的帰納法で)示しておかないと駄目