SSReflectの例を独自の証明に置き換える。