>>430
どういう前提で、何を証明したいの?