Proved the second transform pending cheated theorem