そもそもオスイチが存在しているのはオスイチがある理由の実現に他ならないのでセーフですので証明する必要さえほぼない。