Beberapa pembuktian yang saling bertentangan.