>>907
は?どうつかったらそうなるかって、定理そのものだろが。