Theorem 42:

42