Quick proof