Absolute proof by Michael Lindell