3
    Proof#TR1