>>698
証明が正しければ先行研究を調べる必要はないのでは?