1は>>244 による高木時空での証明を認めるんだな。

高木時空においても1は無価値であったか。