theorem :: XPRIMES2:7367

canceled;