PROOFS LAYCI