assignment 6 - makes integer-valued theorem more explicit