Analogibeviset kunna vi förkorthetens