The scalar product proof