Remove use of 01IW from proof of 01K4

Thanks to Keenan Kidwell
http://stacks.math.columbia.edu/tag/01K2#comment-278