theorem :: XPRIMES2:7782

canceled;