theorem :: XPRIMES2:2528

canceled;