Some half-baked proof is inserted