F19 13 Ortogonalt komplement, sats