Prove that Poincare group is group.