数学素人なんですけど、三角形の合同条件って証明できるんですか