up to main theorem