You are shown 4 coins, their labels specifying their weighs: 1,2,3,4.
You are told that the labels may be correct, but there is also a possibility of one coin not fitting its label.

Determine whether all coins are ok, and if not which is the faulty one, specifying is it heavier or lighter than its label.
Clearly the above task can be accomplished in 2 weightings using balance scale only.

Please describe the procedure and prove that there is only one solution.