beberapa pembuktian yang saling bertentangan.