I don't think so it's a strong proof