本質的に>>146と同じの以外の証明法を見たことがない。