=<...>we need only list the theorem, or theorem number, not forgetting our
|-and we need not mention the use of inference rules anywhere.
=>at the end.
|- P_1 ^P_2^...^P_n => Qwe only need to say "assume P_1, P_2,...,P_n" and then give a bullet proof of Q. That's all.
Remember to substitute the same variable each time.