theorem :: XPRIMES2:7788

canceled;