Almost proves th01