NC36の4本出しVS集合論争に終止符?