On full-rank paricity-check matrices of product codes