(Q^NはZFで存在示せるのにね>>92)