某个命题与正整数有关，若当时该命题成立，那么可推得当时该命题也成立，现已知当时该命题不成立，那么可推得 

A：当时，该命题不成立

B：当时，该命题成立

C：当时，该命题成立

D：当时，该命题不成立