Theorem xxxid 68

Description: This dummy theorem and the theorems that reference it may be ignored. (The purpose of any theorems that reference it is to provide placeholders for possible future theorems. The placeholder prevents theorems from being renumbered when the finalized theorem replaces the placeholder. This helps conserve bandwidth during mirror site updates.)

Assertion

Ref	Expression
xxxid	|- (ph -> ph)

Proof of Theorem xxxid

Step	Hyp	Ref	Expression
1		id 9	1 |- (ph -> ph)

Syntax hints:   -> wi 2

This theorem was proved from axioms:  ax-1 3  ax-2 4  ax-mp 6

metamath.org