theorem :: XPRIMES2:7776

canceled;