Task: Translation
Input (English): we prove both of these. So the base case we're going to prove it for 1. 
Output (Polish): udowadniamy obydwa te założenia. Naszym przypadkiem bazowym jest cyfra 1