p ∙ ~~p = p = ~~p