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

A．当时，该命题不成立	B．当时，该命题成立
C．当时，该命题成立	D．当时，该命题不成立