L2AW theorem

4 points by av