>>296
色々条件つけての保証なり証明だろ
数学屋さんが扱うものとはレベルが違うぞ