Adding incomplete proof