Functional Properties Solution - Intro to Theoretical Computer Science