でも事実上コードを再利用されても証明できないよね?
そもそも再利用に値するコードなのかという問題もあるけど