>>984
とりあえずどちらも平方完成で証明できる