Pre Loader

prove that a intersection a is equal to a