Create StrongNat_subtract_attempt.idr