Bridge to Abstract Mathematics: Mathematical Proof and Structures