Formal Proofs of Orthogonality for Class-Incremental Learning for Wireless Device Identification in IoT