A representation theorem for a complete Boolean algebra of projections