Update StrongNat_subtract_attempt.idr