Added non-correct non-trivial proof