theorem :: XPRIMES2:77

canceled;