Input: We are knowing this theory.
Output: 0